The Ackermann Award 2006

The second Ackermann Award is presented at this CSL’06. Eligible for the 2006 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2004 and 31.12. 2005. The jury received 14 nominations for the Ackermann Award 2006. The candidates came from 10 different nationalities from Europe, the Middle East and India, and received their PhDs in 9 different countries in Europe, Israel and North America. The topics covered the full range of Logic and Computer Science as represented by the LICS and CSL Conferences. All the submissions were of very high standard and contained outstanding results in their particular domain. The jury decided finally, to give for the year 2006 two awards, one for work on the model theory of hybrid logics modal logics extended with nominals, and one for work on mathematical structures arising in the theory of coalgebras and providing semantics for recursive specifications. The 2006 Ackermann Award winners are, in alphabetical order,